Results for 'legal knowledge representation'

998 found
Order:
  1.  75
    On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation.Hajime Yoshino - 1997 - Artificial Intelligence and Law 5 (1-2):77-96.
    In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  29
    Deontic Logic and Legal Knowledge Representation.Andrew J. I. Jones - 1990 - Ratio Juris 3 (2):237-244.
    . The current literature in the Artificial Intelligence and Law field reveals uncertainty concerning the potential role of deontic logic in legal knowledge representation. For instance, the Logic Programming Group at Imperial College has shown that a good deal can be achieved in this area in the absence of explicit representation of the deontic notions. This paper argues that some rather ordinary parts of the law contain structures which, if they are to be represented in logic, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  29
    Model for Knowledge and Legal Expert Systems.Anja Oskamp - 1992 - Artificial Intelligence and Law 1 (4):245-274.
    This paper presents a four layer model for working with legal knowledge in expert systems. It distinguishes five sources of knowledge. Four contain basic legal knowledge found in published and unpublished sources. The fifth consists of legal metaknowledge. In the model the four basic legal knowledge sources are placed at the lowest level. The metaknowledge is placed at levels above the other four knowledge sources. The assumption is that the knowledge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  28
    An Intellectual Celebration: A Review of the Jurix Legal Knowledge Based Systems Scholarship. [REVIEW]Abdul Paliwala - 2000 - Artificial Intelligence and Law 8 (4):317-335.
    The Foundation for Legal Knowledge Systems (JURIX) has, sinceits foundation in 1988, become an internationally renowned forumfor Law and Artificial Intelligence in theNetherlands. This paper is based onan intellectual review of the work of JURIX requested by theorganisation as part of its 10th anniversary in December 1997 andpresented as a keynote address at the 10th anniversary conference.It has been updated to include the following two conferences. Itapplauds the overall effort but also suggests some directions forfuture development and suggests (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  42
    Representing and Using Legal Knowledge in Integrated Decision Support Systems: Datalex Workstations. [REVIEW]Graham Greenleaf, Andrew Mowbray & Peter Dijk - 1995 - Artificial Intelligence and Law 3 (1-2):97-142.
    There is more to legal knowledge representation than knowledge-bases. It is valuable to look at legal knowledge representation and its implementation across the entire domain of computerisation of law, rather than focussing on sub-domains such as legal expert systems. The DataLex WorkStation software and applications developed using it are used to provide examples. Effective integration of inferencing, hypertext and text retrieval can overcome some of the limitations of these current paradigms of (...) computerisation which are apparent when they are used on a stand-alone basis. Effective integration of inferencing systems is facilitated by use of a (quasi) natural language knowledge representation, and the benefits of isomorphism are enhanced. These advantages of integration apply to all forms of inferencing, including document generation and casebased inferencing. Some principles for development of integrated legal decision support systems are proposed. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  67
    Formalizing Multiple Interpretation of Legal Knowledge.Andreas Hamfelt - 1995 - Artificial Intelligence and Law 3 (4):221-265.
    A representation methodology for knowledge allowing multiple interpretations is described. It is based on the following conception of legal knowledge and its open texture. Since indeterminate, legal knowledge must be adapted to fit the circumstances of the cases to which it is applied. Whether a certain adaptation is lawful or not is measured by metaknowledge. But as this too is indeterminate, its adaptation to the case must be measured by metametaknowledge, etc. This hierarchical model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  74
    Deontic Logic in the Representation of Law: Towards a Methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
    There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  17
    Ontologies and Reasoning Techniques for (Legal) Intelligent Information Retrieval Systems.Gian Piero Zarri - 2007 - Artificial Intelligence and Law 15 (3):251-279.
    An application of Narrative Knowledge Representation Language (NKRL) techniques on (declassified) ‘terrorism in Southern Philippines’ documents has been carried out in the context of the IST Parmenides project. This paper describes some aspects of this work: it is our belief, in fact, that the Knowledge Representation techniques and the Intelligent Information Retrieval tools used in this experiment can be of some interest also in an ‘Ontological Modelling of Legal Events and Legal Reasoning’ context.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  25
    The Representation of Legal Contracts.Aspassia Daskalopulu & Marek Sergot - 1997 - AI and Society 11 (1-2):6-17.
    The paper outlines ongoing research on logic-based tools for the analysis and representation of legal contracts, of the kind frequently encountered in large-scale engineering projects and complex, long-term trading agreements. We consider both contract formation and contract performance, in each case identifying the representational issues and the prospects for providing automated support tools.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  73
    Meta-Relation and Ontology Closure in Conceptual Structure Theory.Philip H. P. Nguyen, Ken Kaneiwa, Dan R. Corbett & Minh-Quang Nguyen - 2009 - Artificial Intelligence and Law 17 (4):291-320.
    This paper presents an enhanced ontology formalization, combining previous work in Conceptual Structure Theory and Order-Sorted Logic. Most existing ontology formalisms place greater importance on concept types, but in this paper we focus on relation types, which are in essence predicates on concept types. We formalize the notion of ‘predicate of predicates’ as meta-relation type and introduce the new hierarchy of meta-relation types as part of the ontology definition. The new notion of closure of a relation or meta-relation type is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. Dealing with Concepts: From Cognitive Psychology to Knowledge Representation.Marcello Frixione & Antonio Lieto - 2013 - Frontiers of Psychological and Behevioural Science 2 (3):96-106.
    Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  48
    Isomorphism and Legal Knowledge Based Systems.T. J. M. Bench-Capon & F. P. Coenen - 1992 - Artificial Intelligence and Law 1 (1):65-86.
    This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  13.  7
    Formal Ontologies in Biomedical Knowledge Representation.S. Schulz & L. Jansen - 2013 - In M.-C. Jaulent, C. U. Lehmann & B. Séroussi (eds.), Yearbook of Medical Informatics 8. pp. 132-146.
    Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  52
    On the Ontological Status of Plans and Norms.Guido Boella, Leonardo Lesmo & Rossana Damiano - 2004 - Artificial Intelligence and Law 12 (4):317-357.
    This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  15.  22
    A Methodology for Designing Systems to Reason with Legal Cases Using Abstract Dialectical Frameworks.Latifa Al-Abdulkarim, Katie Atkinson & Trevor Bench-Capon - 2016 - Artificial Intelligence and Law 24 (1):1-49.
    This paper presents a methodology to design and implement programs intended to decide cases, described as sets of factors, according to a theory of a particular domain based on a set of precedent cases relating to that domain. We useDialectical Frameworks, a recent development in AI knowledge representation, as the central feature of our design method. ADFs will play a role akin to that played by Entity–Relationship models in the design of database systems. First, we explain how the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Knowledge Representation, the World Wide Web, and the Evolution of Logic.Christopher Menzel - 2011 - Synthese 182 (2):269-295.
    It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face value, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  13
    The Legal Culture of Political Representation: Evolution and Balance of Its Current Situation Within Democracies.M. Isabel Garrido Gómez - 2016 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 29 (4):823-841.
    This work studies the issue of political representation from the perspective of a specific legal culture, the exercise of political rights in the context of the occidental democratic system, a concept that has undergone a profound evolution to the present day. The essential aspects for an analysis of this progression are voting, decision making, and the relationship between representatives and their constituents. Overall, the phenomena making up the crisis of representation have been explained as a result of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  22
    Biologically Plausible, Human‐Scale Knowledge Representation.Eric Crawford, Matthew Gingerich & Chris Eliasmith - 2016 - Cognitive Science 40 (4):782-821.
    Several approaches to implementing symbol-like representations in neurally plausible models have been proposed. These approaches include binding through synchrony, “mesh” binding, and conjunctive binding. Recent theoretical work has suggested that most of these methods will not scale well, that is, that they cannot encode structured representations using any of the tens of thousands of terms in the adult lexicon without making implausible resource assumptions. Here, we empirically demonstrate that the biologically plausible structured representations employed in the Semantic Pointer Architecture approach (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  76
    Advanced Lexical Ontologies and Hybrid Knowledge Based Systems: First Steps to a Dynamic Legal Electronic Commentary. [REVIEW]Erich Schweighofer & Doris Liebwald - 2007 - Artificial Intelligence and Law 15 (2):103-115.
    Legal Information Retrieval (IR) research has stressed the fact that legal knowledge systems should be sufficiently capable to interpret and handle the semantics of a database. Modeling (expert-) knowledge by using ontologies enhances the ability to extract and exploit information from documents. This contribution presents theories, ideas and notions regarding the development of dynamic electronic commentaries based on a comprehensive legal ontology.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  16
    Insights Into Knowledge Representation: The Influence of Amodal and Perceptual Variables on Event Knowledge Retrieval From Memory.Susanne Raisig, Tinka Welke, Herbert Hagendorf & Elke van der Meer - 2009 - Cognitive Science 33 (7):1252-1266.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  46
    Knowledge Representation by Schemata in Financial Expert Systems.P. Lévine & J. -Ch Pomerol - 1989 - Theory and Decision 27 (1-2):147-161.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 2001 - Studia Logica 68 (2):299-300.
  23. Conceptual Structures Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, Iccs '96, Sydney, Australia, August 19-22, 1996 : Proceedings'. [REVIEW]Peter W. Eklund, Gerard Ellis & Graham Mann - 1996
     
    Export citation  
     
    Bookmark  
  24.  70
    The Principle of Liberty and Legal Representation of Posterity.Kristian Skagen Ekeli - 2006 - Res Publica 12 (4):385-409.
    This paper considers a guardianship model for the legal representation of future generations. According to this model, national and international courts should be given the competence to appoint guardians for future generations, if agents who care about the welfare of posterity apply for the creation of a guardianship in relation to a dispute that can be resolved by the application of law. This reform would grant guardians of future people legal standing or locus standi before courts, that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  41
    Pictorial Representation And Moral Knowledge.Katerina Bantinaki - 2004 - Postgraduate Journal of Aesthetics 1 (2):69-76.
    The idea that pictorial art can have cognitive value, that it can enhance our understanding of the world and of our own selves, has had many advocates in art theory and philosophical aesthetics alike. It has also been argued, however, that the power of pictorial representation to convey or enhance knowledge, in particular knowledge with moral content, is not generalized across the medium.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Modularity in Knowledge Representation and Natural-Language Understanding.Jay L. Garfield (ed.) - 1987 - MIT Press.
  27.  30
    Ethical and Legal Issues in Publication and Dissemination of Scholarly Knowledge: A Summary of the Published Evidence. [REVIEW]Krishna Regmi - 2011 - Journal of Academic Ethics 9 (1):71-81.
    Research publication and dissemination of scholarly knowledge in Higher Education Institutions (HEIs) are among the most influential roles of many academic scholars in both industrialised and developing nations, but such experience and skills are rarely taught, transferred and shared in the real world. Dealing with issues of research misconduct might be challenging as well as learning opportunities for new academics while conducting research and scholarship teaching and publication in HEIs. In this review paper, I will discuss some concepts of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  31
    A Knowledge Engineering Framework for Intelligent Retrieval of Legal Case Studies.Adel Saadoun, Jean-Louis Ermine, Claude Belair & Jean-Mark Pouyot - 1997 - Artificial Intelligence and Law 5 (3):179-205.
    Juris-Data is one of the largest case-study base in France. The case studies are indexed by legal classification elaborated by the Juris-Data Group. Knowledge engineering was used to design an intelligent interface for information retrieval based on this classification. The aim of the system is to help users find the case-study which is the most relevant to their own.The approach is potentially very useful, but for standardising it for other legal document bases it is necessary to extract (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  14
    Representing Law in Partial Information Structures.Niels Peek - 1997 - Artificial Intelligence and Law 5 (4):263-290.
    This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30. Relations in Knowledge Representation: An Interdisciplinary Study in Nyāya, Mīmāṁsā, Vyākaraṇa, Tantra, Modern Linguistics, and Artificial Intelligence in Computer Application.Keśavacandra Dāśa - 1991 - Sri Satguru Publications.
  31.  49
    The Structuring of Legal Knowledge in Lois.Wim Peters, Maria-Teresa Sagri & Daniela Tiscornia - 2007 - Artificial Intelligence and Law 15 (2):117-135.
    Legal information retrieval is in need of the provision of legal knowledge for the improvement of search strategies. For this purpose, the LOIS project is concerned with the construction of a multilingual WordNet for cross-lingual information retrieval in the legal domain. In this article, we set out how a hybrid approach, featuring lexically and legally grounded conceptual representations, can fit the cross-lingual information retrieval needs of both legal professionals and laymen.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  38
    Understanding the Law: Improving Legal Knowledge Dissemination by Translating the Contents of Formal Sources of Law. [REVIEW]Laurens Mommers, Wim Voermans, Wouter Koelewijn & Hugo Kielman - 2009 - Artificial Intelligence and Law 17 (1):51-78.
    Considerable attention has been given to the accessibility of legal documents, such as legislation and case law, both in legal information retrieval (query formulation, search algorithms), in legal information dissemination practice (numerous examples of on-line access to formal sources of law), and in legal knowledge-based systems (by translating the contents of those documents to ready-to-use rule and case-based systems). However, within AI & law, it has hardly ever been tried to make the contents of sources (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  33. Philosophy of Science: Interfaces Between Logic and Knowledge Representation.Emma Ruttkamp - 2006 - South African Journal of Philosophy 25 (4):275-289.
    In this inaugural lecture I offer, against the background of a discussion of knowledge representation and its tools, an overview of my research in the philosophy of science. I defend a relational model-theoretic realism as being the appropriate meta-stance most congruent with the model-theoretic view of science as a form of human engagement with the world. Making use of logics with preferential semantics within a model-theoretic paradigm, I give an account of science as process and product. I demonstrate (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34. Ontology-Based Knowledge Representation of Experiment Metadata in Biological Data Mining.Scheuermann Richard, Kong Megan, Dahlke Carl, Cai Jennifer, Lee Jamie, Qian Yu, Squires Burke, Dunn Patrick, Wiser Jeff, Hagler Herb, Herb Hagler, Barry Smith & David Karp - 2009 - In Jake Chen & Stefano Lonardi (eds.), Biological Data Mining. Boca Raton: Chapman Hall / Taylor and Francis. pp. 529-559.
    According to the PubMed resource from the U.S. National Library of Medicine, over 750,000 scientific articles have been published in the ~5000 biomedical journals worldwide in the year 2007 alone. The vast majority of these publications include results from hypothesis-driven experimentation in overlapping biomedical research domains. Unfortunately, the sheer volume of information being generated by the biomedical research enterprise has made it virtually impossible for investigators to stay aware of the latest findings in their domain of interest, let alone to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Perspectival Representation and the Knowledge Argument.William Lycan - 2003 - In Quentin Smith & Aleksandar Jokic (eds.), Consciousness: New Philosophical Perspectives. Oxford University Press. pp. 384.
    Someday there will be no more articles written about the.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  18
    Structuralist Knowledge Representation: Paradigmatic Examples.P. Lorenzano, W. Balzer, C. U. Moulines & J. Sneed - 2000 - In Joseph D. Sneed, Wolfgang Balzer & C.-U. Moulines (eds.), Structuralist Knowledge Representation: Paradigmatic Examples. Rodopi.
    Contents: Foreword. Wolfgang BALZER and C. ULISES MOULINES: Introduction. José A. DÍEZ CALZADA: Structuralist Analysis of Theories of Fundamental Measurement. Adolfo GARCÍA DE LA SIENRA and Pedro REYES: The Theory of Finite Games in Extensive Form. Hans Joachim BURSCHEID und Horst STRUVE: The Theory of Stochastic Fairness - its Historical Development, Formulation and Justification. Wolfgang BALZER and Richard MATTESSICH: Formalizing the Basis of Accounting. Werner DIEDERICH: A Reconstruction of Marxian Economics. Bert HAMMINGA and Wolfgang BALZER: The Basic Structure of Neoclassical (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  60
    A Comparison of Four Ontologies for the Design of Legal Knowledge Systems.Pepijn R. S. Visser & Trevor J. M. Bench-Capon - 1998 - Artificial Intelligence and Law 6 (1):27-57.
    There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  4
    A Description Logic Based Knowledge Representation Model for Concept Understanding.Farshad Badie - 2017 - In Jasper van den Herik, A. Rocha & J. Filipe (eds.), Agents and Artificial Intelligence. Cham, Switzerland: Springer.
    This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation systems. Finally, it will design an ontology that schemes the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  54
    Knowledge Representation: Two Kinds Of Emergence.Veikko Rantala - 2001 - Synthese 129 (2):195-209.
    Two different but closely related issues in current cognitive science will be considered in this essay. One is the controversial and extensively discussed question of how connectionist and symbolic representations of knowledge are related to each other. The other concerns the notion of connectionist learning and its relevance for the understanding of the distinction between propositional and nonpropositional knowledge. More specifically, I shall give an overview of a result in Rantala and Vadén establishing a limiting case correspondence between (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  28
    A Meta-Interpreter Based on Paraconsistent Legal Knowledge Engineering.Jair Minoro Abe & Leonardo Pujatti - 2001 - Logic and Logical Philosophy 9:129.
    The Legal Knowledge Engineering is a new topic of investigationof Artificial Intelligence. This paper discusses some relevant problems relatedto this new area in a summarized way. Within the Normative Law Theory,one question that arises naturally is that of contradiction, like for example:articles conflicting with other articles inside the same code, codes conflictingwith codes, codes conflicting with jurisprudence, and in general, treatmentswith conflicting propositions in Normative Law Theory. This paper suggeststo treat directly inconsistencies in the Legal Knowledge (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  1
    Logical and Geometrical Distance in Polyhedral Aristotelian Diagrams in Knowledge Representation.Lorenz Demey & Hans Smessaert - 2017 - Symmetry 9 (10).
    © 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the tetrakis hexahedron, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  18
    A Duality Between Pawlak's Knowledge Representation Systems and Bi-Consequence Systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.
    A duality between Pawlak's knowledge representation systems and certain information systems of logical type, called bi-consequence systems is established. As an application a first-order characterization of some informational relations is given and a completeness theorem for the corresponding modal logic INF is proved. It is shown that INF possesses finite model property and hence is decidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Formalization of Intensional Functions and Epistemic Knowledge Representation Systems.Grzegorz Malinowski - 1999 - Logica Trianguli 3:111-118.
    o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions we (...)
     
    Export citation  
     
    Bookmark   1 citation  
  44.  1
    Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways.Sine Zambach & Jens Ulrik Hansen - 2010 - In S. Khuri, L. Lhotská & N. Pisanti (eds.), Information Technology in Bio- and Medical Informatics, ITBAM 2010. ITBAM 2010. Lecture Notes in Computer Science, vol 6266. Berlin, Germany: Springer.
    Knowledge on regulatory relations, in for example regulatory pathways in biology, is used widely in experiment design by biomedical researchers and in systems biology. The knowledge has typically either been represented through simple graphs or through very expressive differential equation simulations of smaller sections of a pathway. As an alternative, in this work we suggest a knowledge representation of the most basic relations in regulatory processes regulates, positively regulates and negatively regulates in logics based on a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  45
    Sophisticated Knowledge Representation and Reasoning Requires Philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.
    Knowledge Representation and Reasoning (KR&R) is based on the idea that propositional content can be rigorously represented in formal languages long the province of logic, in such a way that these representations can be productively reasoned over by humans and machines; and that this reasoning can be used to produce knowledge-based systems (KBSs). As such, KR&R is a discipline conventionally regarded to range across parts of artificial intelligence (AI), computer science, and especially logic. This standard view of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  43
    Knowledge Representation and Classical Logic.Vladimir Lifschitz, L. Morgenstern & D. Plaisted - manuscript
    in Handbook of Knowledge representation, Elsevier, 2008.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  39
    Identity and Autonomy of Psychology in Cognitive Sciences: Some Remarks From Language Processing and Knowledge Representation.Daniele Dubois - 1994 - World Futures 42 (1):71-78.
    (1994). Identity and autonomy of psychology in cognitive sciences: Some remarks from language processing and knowledge representation. World Futures: Vol. 42, No. 1-2, pp. 71-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  8
    Some problems that characterize contemporary practices of production of legal knowledge.Luciana Alvarez - 2017 - Cinta de Moebio 60:268-278.
    Resumen: El artículo pretende dar cuenta de algunos de los problemas que caracterizan las prácticas contemporáneas de producción y validación de conocimiento científico en el ámbito de la ciencia jurídica. En general, y a diferencia de lo que sucede en otras áreas disciplinares de las ciencias sociales, entre el derecho y la ciencia jurídica se da una configuración singular según la cual los límites entre conocimiento producido y objeto de conocimiento aparecen ciertamente inestables. Esta singular configuración de la ciencia jurídica (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  10
    School Counselors’ General Self-Efficacy, Ethical and Legal Self-Efficacy, and Ethical and Legal Knowledge.Patrick R. Mullen, Glenn W. Lambie, Catherine Griffith & Renee Sherrell - 2016 - Ethics and Behavior 26 (5):415-430.
    School counselors encounter ethical and legal situations that necessitate the knowledge and confidence to apply decision-making skills. We report the findings from a correlational investigation that examines practicing school counselors’ ethical and legal self-efficacy, ethical and legal knowledge, and general self-efficacy. Higher ethical and legal self-efficacy was associated with higher general self-efficacy and ethical and legal knowledge. The implications of these findings are discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  13
    Legal Knowledge.James Boyd White - unknown
    What do we know when we know the law? Not a set of rules or theories, but a set of practices that are at bottom practices of reading--reading the texts of the law, reading the world--and writing (including of course speaking), especially writing in news ways in the inherited language of the law. Legal knowledge is a writer's knowledge. It always has as one of its deepest themes the question of justice. These themes are explored through an (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 998