The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Towards a Formal Language in Law
|
Author(s): Rodrigo Vidal-López (Universidad Autónoma del Estado de México, Mexico), Jacobo Leonardo González-Ruíz (Universidad Auutónoma del Estado de México, Mexico), José Raymundo Marcial-Romero (Universidad Autónoma del Estado de México, Mexico) and J. A. Hernández-Servín (Universidad Autónoma del Estado de México, Mexico)
Copyright: 2023
Pages: 16
Source title:
Handbook of Research on Applied Artificial Intelligence and Robotics for Government Processes
Source Author(s)/Editor(s): David Valle-Cruz (Universidad Autónoma del Estado de México, Mexico), Nely Plata-Cesar (Universidad Autónoma del Estado de México, Mexico) and Jacobo Leonardo González-Ruíz (Universidad Autónoma del Estado de México, Mexico)
DOI: 10.4018/978-1-6684-5624-8.ch004
Purchase
|
Abstract
In today's globalized society, the generation of digital information grows exponentially along with the technological innovations in all aspects of everyday life. In order to cope with gathering, administering, sharing information, planning, and automatization of many human activities including some human reasoning tasks, multi-agent systems in the form of language programming scripting have become an important aspect in dealing with those problems. Thus, the agent-based programming language has become an important line of research in artificial intelligence from a theoretical and practical point of view. In this chapter, the authors review some already implemented languages and theoretical aspects toward a formal proposal of a language that deals with human reasoning in law. In particular, the authors present as an example a language, based on topoi theory, that deals with the problem of defining ontology as specified by FIPA as a requirement for agent-based programming language.
Related Content
Hajer Brahmi, Boudour Ammar.
© 2023.
34 pages.
|
Oscar Mauricio Covarrubias-Moreno.
© 2023.
20 pages.
|
Edgar A. Ruvalcaba-Gomez, Victor Hugo Garcia-Benitez.
© 2023.
22 pages.
|
Rodrigo Vidal-López, Jacobo Leonardo González-Ruíz, José Raymundo Marcial-Romero, J. A. Hernández-Servín.
© 2023.
16 pages.
|
Rigoberto García-Contreras, J. Patricia Muñoz-Chávez, Rosa L. Muñoz-Chávez.
© 2023.
21 pages.
|
Rodrigo Sandoval-Almazan, Adrián Osiel Millán-Vargas.
© 2023.
18 pages.
|
Pablo Ramires Hernández, David Valle-Cruz, Rafael Valentín Mendoza Méndez.
© 2023.
23 pages.
|
|
|