Mary Murillo | Instituto Politécnico Nacional (original) (raw)
Related Authors
Swinburne University of Technology
Uploads
Papers by Mary Murillo
Artificial intelligence, 1997
We present an abstract framework for default reasoning, which includes Theorist, default logic, l... more We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to be extended by a defeasible set of assumptions.
... 3.3 Crawshay-Williams' Analysis of Controversy, 74. ... to be made and that not all cont... more ... 3.3 Crawshay-Williams' Analysis of Controversy, 74. ... to be made and that not all contributions could be equally accentuated, it essentially describes the historical works that provide the background to the field of argumentation studies and the contemporary developments that ...
Human-Computer Interaction, 1991
Documenting argumentation (i.e., design rationale) has great potential for serving design. Despit... more Documenting argumentation (i.e., design rationale) has great potential for serving design. Despite this potential benefit, our analysis of Horst Rittel's and Donald Schon's design theories and of our own experience has shown that there are the following fundamental obstacles to the effective documentation and use of design rationale: (a) A rationale representation scheme must be found that organizes information according to its relevance to the task at hand; (b) computer support is needed to reduce the burden of recording and using rationale; (c) argumentative and constructive design activities must be linked explicitly by integrated design environments; (d) design rationale must be reusable. In this article, we present the evolution of our conceptual frameworks and systems toward integrated design environments; describe a prototype of an integrated design environment, including its underlying architecture; and discuss some current and future work on extending it.
An academic directory and search engine.
Argumentation, 1987
ABSTRACT: The authors describe the rationale behind a recent development in the teaching of logic... more ABSTRACT: The authors describe the rationale behind a recent development in the teaching of logic in North America and sketch some features of a dialectical theory of logical criticism. The authors argue that problems with validity and truth as the standards of logically ...
Artificial intelligence, 1997
We present an abstract framework for default reasoning, which includes Theorist, default logic, l... more We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic logic, non-monotonic modal logics, and certain instances of circumscription as special cases. The framework can be understood as a generalisation of Theorist. The generalisation allows any theory formulated in a monotonic logic to be extended by a defeasible set of assumptions.
... 3.3 Crawshay-Williams' Analysis of Controversy, 74. ... to be made and that not all cont... more ... 3.3 Crawshay-Williams' Analysis of Controversy, 74. ... to be made and that not all contributions could be equally accentuated, it essentially describes the historical works that provide the background to the field of argumentation studies and the contemporary developments that ...
Human-Computer Interaction, 1991
Documenting argumentation (i.e., design rationale) has great potential for serving design. Despit... more Documenting argumentation (i.e., design rationale) has great potential for serving design. Despite this potential benefit, our analysis of Horst Rittel's and Donald Schon's design theories and of our own experience has shown that there are the following fundamental obstacles to the effective documentation and use of design rationale: (a) A rationale representation scheme must be found that organizes information according to its relevance to the task at hand; (b) computer support is needed to reduce the burden of recording and using rationale; (c) argumentative and constructive design activities must be linked explicitly by integrated design environments; (d) design rationale must be reusable. In this article, we present the evolution of our conceptual frameworks and systems toward integrated design environments; describe a prototype of an integrated design environment, including its underlying architecture; and discuss some current and future work on extending it.
An academic directory and search engine.
Argumentation, 1987
ABSTRACT: The authors describe the rationale behind a recent development in the teaching of logic... more ABSTRACT: The authors describe the rationale behind a recent development in the teaching of logic in North America and sketch some features of a dialectical theory of logical criticism. The authors argue that problems with validity and truth as the standards of logically ...