Affiliation:
1. Universidad Autónoma del Estado de México, Mexico
2. Universidad Auutónoma del Estado de México, Mexico
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.
Reference24 articles.
1. Agents, 2000 Foundation for Intelligent Physical. (2001). Foundation for intelligent physical agents. http://www.fipa.org/
2. Legal Case-based Reasoning as Practical Reasoning
3. Deep models, normative reasoning and legal expert systems
4. A Foundation for the Conception of Law as Practical Reason
5. Braga, Haeusler, & Santos. (2017). Modeling Normative Multi-Agent Systems from a Kelsenian Perspective. Academic Press.